prenex normal
[計] 前束范式
熱門查詢
- mayflower n. 五月開花的草木
- NZ abbr. 新西蘭（國家名，New Zealand）；新西蘭國家航空公司（New Zealand National Airways Corporation）
- subjectivism n. 主觀主義；主觀性
- Fiedler 菲德勒(Arthur,1894-1979，美國管弦樂指揮家)
- inverse n. 相反；倒轉 adj. 相反的；倒轉的 vt. 使倒轉；使顛倒
- centurion n. 百夫長；百人隊隊長
- curvilinear adj. 曲線的；由曲線組成的（等于curvilineal）
- conceptualized v. 概念化（conceptualize的過去分詞）
- leander n. 利安得（希臘傳說中海洛的情人）
- cre abbr. 中鐵快運（China Railway Express）
- Elia 伊利亞(Charles Lamb的筆名)
- unexpired adj. 未到期的；未盡的
- disjunctive n. 反意連接詞 adj. 分隔的；分離的
- chatham n. 查塔姆（姓氏）
- licensing v. 許可；批準（license的ing形式）
- hype n. 大肆宣傳；皮下注射 vt. 大肆宣傳；使…興奮
- orfe n. 圓腹雅羅魚（一種觀賞魚）
- stereophonic adj. 立體聲的，立體音響的
- patois n. 方言，土語；行話 n. (Patois)人名；(法)帕圖瓦
- exhaust n. 排氣；廢氣；排氣裝置 vt. 排出；耗盡；使精疲力盡；徹底探討 vi. 排氣
